Non-Markovian control in the Situation Calculus
نویسندگان
چکیده
منابع مشابه
Belief Update, the Markovian Situation Calculus, and Discrete Event Systems
Imposing a markovian condition on the situation calculus enables the embedding of situation calculus theories into the DEVS (discrete event system speciication) modelling and simulation framework. DEVS has an algebraic formalism relying on classical systems theory, and has been used to good eeect in practical domains. The demonstrated correspondence between the situation calculus and DEVS is ba...
متن کاملNon-Terminating Processes in the Situation Calculus
By their very design, many robot control programs are non-terminating. To give a simple example one we shall use in this paper an office coffee-delivery robot might be implemented as an infinite loop in which the robot responds to exogenous requests for coffee that are maintained on a queue. Since a future coffee request is always possible, the program never terminates. As is the case for more ...
متن کاملExplanation in the Situation Calculus
This paper explores different techniques for explanation within the framework of the situation calculus, using the so-called stolen car problem as its main example. Two approaches to explanation are compared: the deductive approach usually found in the literature, and a less common abductive approach. Both approaches are studied in the context of two different styles of representation.
متن کاملNarratives in the Situation Calculus
A narrative is a course of real events about which we might have incomplete information. Formalisms for reasoning about action may be broadly divided into those which are narrative-based, such as the Event Calculus of Kowalski and Sergot, and those which reason on the level of hypothetical sequences of actions, in particular the Situation Calculus. This paper bridges the gap between these types...
متن کاملThe Typed Situation Calculus
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection problem: whether a statement is true after executing a sequence of actions. To solve it we design a regression operator takes advantage of well-sorted unification between terms. We show that answering projection querie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2011
ISSN: 0004-3702
DOI: 10.1016/j.artint.2010.04.012